A 2-category View for Double Categories with Shared Structure
نویسنده
چکیده
2-categories and double categories are respectively the natural semantic ground for rewriting logic (rl) and tile logic (tl). Since 2-categories can be regarded as a special case of double categories, then rl can be easily embedded into tl, where also rewriting synchronization is considered. Since rl is the semantic basis of several existing languages, it is useful to map tl back into rl to have an executable framework for tile speciications. We extend the results of a previous work of two of the authors, focusing on tile systems where the algebraic structures for conngurations and observations rely on some common auxiliary structure (e.g., for pairing, projecting , etc.). The new model theory required to relate the categorical models of the two logics is an extended version of the theory of 2-categories, and is deened using partial membership equational logic. More concretely, this semantic mapping yields a rewriting logic implementation of tile logic, where a meta-layer is required to control the rewritings, so that only tile proofs are computed.
منابع مشابه
un 2 00 8 Double Categories in Mathematical Physics
Expansion of the categorical point of view on many areas of the mathematics and mathematical physics will cause to deeper understanding of genuine features of these problems. New applications of categorical methods are connected with new additional structures on categories. One of such structures, the double category, is considered in this article. The double category structure is defined as ge...
متن کاملModel structures on the category of small double categories
In this paper we obtain several model structures on DblCat, the category of small double categories. Our model structures have three sources. We first transfer across a categorificationnerve adjunction. Secondly, we view double categories as internal categories in Cat and take as our weak equivalences various internal equivalences defined via Grothendieck topologies. Thirdly, DblCat inherits a ...
متن کاملGeneralized Enrichment of Categories
We define the phrase ‘category enriched in an fc-multicategory’ and explore some examples. An fc-multicategory is a very general kind of 2-dimensional structure, special cases of which are double categories, bicategories, monoidal categories and ordinary multicategories. Enrichment in an fc-multicategory extends the (more or less well-known) theories of enrichment in a monoidal category, in a b...
متن کاملCategory-specific naming and comprehension impairment: a double dissociation.
We describe 2 neurologically impaired patients with lesions involving primarily the left temporal lobe, whose production and comprehension of words in the semantic category of animals were disproportionately spared in 1 case and disproportionately impaired in the other, in comparison to performance with other common categories. This double dissociation provides neurally based evidence for the v...
متن کاملThe production of lexical categories (VP) and functional categories (copula) at the initial stage of child L2 acquisition
This is a longitudinal case study of two Farsi-speaking children learning English: ‘Bernard’ and ‘Melissa’, who were 7;4 and 8;4 at the start of data collection. The research deals with the initial state and further development in the child second language (L2) acquisition of syntax regarding the presence or absence of copula as a functional category, as well as the role and degree of L1 influe...
متن کامل